121. Knowledge in action
Author: / Raymond Reiter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
Q387
.
R48
2001
122. Knowledge in action
Author: / Raymond Reiter
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
Q387
.
R48
2001
123. Knowledge in action
Author: / Raymond Reiter
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Knowledge representation (Information theory),Expert systems (Computer science),Logic, Symbolic and mathematical
Classification :
Q387
.
R48
2001
124. Learning language in logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Natural language processing (Computer science) ; Logic, Symbolic and mathematical ;
125. Learning language in logic
Author: / James Cussens, Saeso Dezeroski, (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer logic.,Natural language processing (Computer science),Logic, Symbolic and mathematical.
Classification :
QA
,
76
.
9
,.
L63
,
L42
,
2000
126. Learning language in logic
Author: James Cussens, Saso Dzeroski, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Natural language processing )Computer science(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1925
127. Linear logic in computer science
Author: edited by Thomas Ehrhard ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
Classification :
QA
9
.
54
.
L563
128. Logic Colloquium' 96 :
Author: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA9
.
A1
E358
1998
129. Logic Programming and Nonmonotonic Reasoning :
Author: edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
130. Logic : a brief course
Author: Mundici, Daniele
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
Classification :
BC
71
.
L62
2012
131. Logic: a brief course
Author: Mundici, Daniele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
Classification :
QA
9
.
M86
2012
132. Logic : a brief course
Author: Mundici, Daniele, 6491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
Classification :
QA
9
.
M86L613
133. Logic : a foundation for computer science
Author: Sperschneider, V.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
S64
134. Logic : a foundation for computer science
Author: Sperschneider, V.
Library: Central library and information center (Khorasan Razavi)
Subject: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
Classification :
QA
76
.
S6787
1991
135. Logic and Algebraic Methods
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and Mathematical. ; Computer Science. ;
136. Logic and Grammar :
Author: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
P98
.
E358
2011
137. Logic and Grammar :
Author: edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
138. Logic and algebra of specification
Author: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35N37
1991
139. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008
